Translating OBJ 3 into CASL : the Institution
نویسنده
چکیده
We translate OBJ3 to CASL. At the level of basic speciica-tions, we set up several institution representations between the underlying institutions. They correspond to diierent methodological views of OBJ3. The translations can be the basis for automated tools translating OBJ3 to CASL.
منابع مشابه
Institution Independent Static Analysis for CASL
We describe a way to make the static analysis for the inthe-large part of the Common Algebraic Specification Language (Casl) independent of the underlying logic that is used for specification in-thesmall. The logic here is formalized as an institution with some extra components. Following the institution independent semantics of Casl in-the-large, we thus get an institution independent static a...
متن کاملAn institution for processes and data
Csp-Casl [7] is a comprehensive specification language which combines processes written in the process algebra Csp [2, 8] with the specification of data types formulated in algebraic specification language Casl [5]. Recent developments on Csp-Casl cover tool support [6] as well as testing from Csp-Casl specifications [3]. In this talk we address the question of how to formulate Csp-Casl as an i...
متن کاملCompositional Modelling and Reasoning in an Institution for Processes and Data
The language Csp-Casl combines specifications of data and processes. We give an institution based semantics to Csp-Casl that allows us to re-use the institution independent structuring mechanisms of Casl. Furthermore, we extend Csp-Casl with a notion of refinement that reconciles the differing philosophies behind the refinement notions for Csp and Casl. We develop a compositional proof calculus...
متن کاملDesigning Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl
Domain modelling based on UML Class Diagrams is an established industrial practice. In the context of the Railway industry, we show how to utilize such diagrams for verification. This involves the translation of UML Class Diagrams into the algebraic specification language CASL. To this end, we define new Class Diagram institutions and provide suitable institution comorphisms.
متن کاملExtending Casl by Late Binding
We deene an extension of Casl, the standard language for algebraic speciication, with a late binding mechanism. More precisely, we introduce a special kind of functions called methods, for which, diierently to what happens for usual functions, overloading resolution is delayed at evaluation time and not required to be conservative. The extension consists, at the semantic level, in the deenition...
متن کامل